Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
521	Application of a Formal Specification Language in the Development of the “Mobile FeliCa” IC Chip Firmware for Embedding in Mobile Phone Formal Methods 2008 15th International Symposium on Formal Methods May 26-30, 20 Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-06-04 08:53:19 D Technology Management Information Yamato Transport Formal specification Specification language Specification
522	In: The Story of Managing Projects: A Global, Cross– Disciplinary Collection of Perspectives, Dr. E. G. Carayannis and Dr. Y. H. Kwak, editors, Greenwood Press / Quorum Books, 2002 Chapter X. AGILE PROJECT MANAGEMENT Add to Reading List Source URL: www.niwotridge.com Language: English - Date: 2007-12-16 18:59:08 Software development process Software project management Formal methods Software engineering Project management Agile management Extreme programming Software development methodology Agile manufacturing Software development Software Agile software development
523	PDF Document Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2010-11-08 10:51:38 Technology Science Software engineering Theoretical computer science Software requirements Formal verification Software verification Formal specification Problem frames approach Software development Formal methods Systems engineering
524	PDF Document Add to Reading List Source URL: www.groupid.com Language: English - Date: 2012-05-10 15:56:37 Building engineering Technology Formal methods Computing Product lifecycle management Project manager Software development process Systems development life-cycle Project management Software engineering Management
525	Computing with Relational Machines G´erard Huet and Benoˆıt Razet INRIA Paris-Rocquencourt ICON’2008 Tutorial, Pune, DecemberAbstract. We give a quick presentation of the X-machines of Eilenberg, a generalisa Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2008-12-14 19:37:35 Computer science Formal methods Deterministic finite automaton Nondeterministic finite automaton Finite-state machine X-machine Non-deterministic Turing machine Ω-automaton Finite state transducer Models of computation Automata theory Theoretical computer science
526	Summary of Successful ARC Future Fellowships Proposals for Funding to Commence in 2010 by State and Organisation New South Wales University of Technology, Sydney FT100100218 Add to Reading List Source URL: arc.gov.au Language: English - Date: 2010-11-15 19:09:56 Zhu Feng WP Formal methods Predicate transformer semantics Program logic
527	Testing and evaluating large-scale agricultural simulation models Add to Reading List Source URL: www.mssanz.org.au Language: English - Date: 2013-01-16 03:22:51 Theoretical computer science Scientific modeling Ethology Interpretation Scientific modelling Hydrological modelling Formal verification Economic model Verification and validation Formal methods Hydrology Applied mathematics
528	Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. GoannaSMT – A Static Analyzer with SMT-based Refinement Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-01-01 17:52:59 Formal methods Logic in computer science Model checking Satisfiability Modulo Theories Static program analysis Abstract interpretation Abstraction C Software bug Theoretical computer science Software engineering Computing
529	SAT 2009 competitive events booklet: preliminary version Organizers SAT competition: Daniel Le Berre, Olivier Roussel, Laurent Simon PB competition: Vasco Manquinho, Olivier Roussel Max-SAT competition: Josep Argelich, C Add to Reading List Source URL: www.cril.univ-artois.fr Language: English - Date: 2009-09-30 10:44:43 Logic in computer science Automated theorem proving Numerical software Electronic design automation Formal methods Boolean satisfiability problem 2-satisfiability Satz GRASP Theoretical computer science Mathematics Applied mathematics
530	IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 27, NO. 7, JULYKeynote Paper A Survey of Automated Techniques for Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2008-06-15 00:09:46 Computer programming Logic in computer science Model checkers Model checking Formal verification BLAST model checker Abstract interpretation Static program analysis Abstraction Computing Software engineering Formal methods

UPDATE